extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC52):1C2 = C5xQ8:D5 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 80 | 4 | (Q8xC5^2):1C2 | 400,89 |
(Q8xC52):2C2 = C52:10SD16 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 200 | | (Q8xC5^2):2C2 | 400,105 |
(Q8xC52):3C2 = C5xQ8xD5 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 80 | 4 | (Q8xC5^2):3C2 | 400,187 |
(Q8xC52):4C2 = C5xQ8:2D5 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 80 | 4 | (Q8xC5^2):4C2 | 400,188 |
(Q8xC52):5C2 = Q8xC5:D5 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 200 | | (Q8xC5^2):5C2 | 400,197 |
(Q8xC52):6C2 = C20.26D10 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 200 | | (Q8xC5^2):6C2 | 400,198 |
(Q8xC52):7C2 = SD16xC52 | φ: C2/C1 → C2 ⊆ Out Q8xC52 | 200 | | (Q8xC5^2):7C2 | 400,114 |
(Q8xC52):8C2 = C4oD4xC52 | φ: trivial image | 200 | | (Q8xC5^2):8C2 | 400,204 |